perm filename CMMI9.360[360,GF]1 blob sn#803134 filedate 1986-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_L'#⊂→F∧  Gd⊃x∂E@&↓↔`5pα↔@EhαW U`@ EX@@EX@@UPAEH↓↓EHA E@A@E@A@E8A`E0BE0BE(B U(B@E B`E_λT`⊂`α∀@⊂hα∀@⊂hα∀ ⊂pα∀⊂xα∀⊂xαS`⊃λα∪@!λα∪ 1αRA⊂HεQ(D⊂∂HCapβE
P ¬↓
P ¬A
P εjP ε↓
@ εA
@ εA
@ εA
@ εA
0 εA
0 ε@j0 ε↓
0 ¬A
  ¬↓
!)↓↓⊂ )↓↓0 (A↓P_(A↓P (A↓P (A↓`_(↓↓` (↓↓` (↓↓` (↓↓`_'A↓` 'A↓P 'A↓@ 'A↓0 '↓↓  %¬λT !Gd∩∂Dp8U`@0A %(↓B@⊂_↓∃0`@ 5_↓β`E⊂↓∧Eλ↓D %↓D@$x↓D`$pα∧`$hα¬∀hα¬∀`α¬ ∀`α∩`DXα∩`DXα∩@DPα∩@DPα¬ ∀Pα¬∀X↓E∀X↓D`∀X↓D`∀`↓D ∀`↓D∀h↓β`∀p↓β ∀x↓α`∃↓A@5⊂βQ(D ⊂λcapβDjP ∧A
P ¬@jP εjP ε@j@ πj@ π@j@ π@j@ π@j0 λj0 λj0 λj0 λj  λ↓
  λ↓
  λ↓
  λ↓
⊂ λ↓
⊂ λ↓
⊂ λj⊂ πA
 λj πA
 π@j πip πip ε@ip εip ¬@i` ∧A	!_"QλQx⊃πC`8∃ @`↓U @h↓∃ @pU @pU@xU@xU@xU@xT`@8A`∃_α↓`∃_α↓`∃_α↓@%⊂α↓@%⊂ε∀@@0↓∀@@0↓∀ @8T @8T @8T AλTAλTAλTATAS`AS`@x↓∪`@xS`@h↓S@@`αRC∧("⊃Cr⊂∂π@q@*A↓@_*A↓P⊂*A↓`λ*A↓`λ*↓↓pλ*↓↓pλ*↓↓pλ*↓↓pλ)A↓pλ)Apλ)Apλ)Apλ)↓pλ)↓`⊂)β
  βJ⊂ β@*⊂ β@*⊂ β@*⊂ β@* (↓
 (↓	p 'A	p 'A	`(%βHT #H∧"∂D `@V00↓↓ %0↓B@⊂_↓∃0h@ 5_↓C`E⊂↓DEλ↓D@%↓D`$x↓E$pα¬$hα¬ ∀hα¬ ∀`α¬@∀`α∩`DXα∩`DXα∩@DPαβ!TPα∧`DPα∧`DPα∧@DX↓D@DX↓D@DX↓D@D`↓DD`↓DDh↓C@Tp↓β@⊂λ↓S` X↓@%↓A` (T`t("∩∧B8∂π@ph↓C*P(¬A*P ε↓
P ε↓
P ε↓
@ ε↓
@ ε↓
@ ε↓
@ ε↓
0 ε↓
0 ε↓
0 ε↓
0 ε↓
  ε↓
! )↓↓@ )↓↓@ (A↓@ (A↓@ (A↓@ (A↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ '↓!0(%β 0h"Q	⊃(πC`@εU@U0α∃@E0α∃ E(α∃ E(α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀ Eλα∀ Eλα∀Eα∀Eα∪`TPπ⊃(DPGβqpεβ+0(-A0 -A  -↓  -↓⊂ ,A⊂ ,A ,↓ ,↓
p +A
p +A
` +↓	@⊂∧↓	0 βA	 (β↓	 (β↓	  β↓	 λ∧@i0λβ@i@λα@iP0"Q	2(∀πC`8εB↓∃(αC@U(αβ`5(αβ`∃(αβ@∃ αβ ∃ αβ∃ αα`∃ αα %_αα ∃_αα∃_α↓`∃_α↓ %⊂α↓ E⊂α↓U⊂α`⊂λα∀@@λAEλα ⊂(α∀ P0αT @@α∀ @@α∀@Pα∀@Pα∀@Pα∀@Xα∪`@`α∪`@hα∪`@hα∪`@hα∪@PhαRAP(ε⊃(D`
π#apβCJP(*A
P *A
@ *↓
@ *↓
0 )A
0 )A
  )↓
  )↓
⊂ (A
⊂ (A↓`λ(↓↓`λ(↓↓`λ(↓↓P⊂(↓↓Pλ'A↓P⊂'A↓P⊂'A↓@⊂'A↓0_'↓↓⊂(%¬HT &Jeap∂↓a↓_∧U A⊂β∃ ⊂λ↓D U(@ 1@ E(@ 1@ E @@0x@ E @@0p@@E @@0p@@E @@0h@`E_@`0h@@E_@`0`@`E_@`0XAE_A0PAE⊂A 0HAE⊂A 0@A E⊂A 0@A E⊂A 08A@EλA@08A EλA@00A@EλA@0(A`EλA@0(A`EB0_A`EB0_A`EB0⊂BEB0λB DxB 0λBDxB @Hα∪`⊂Hαα Dp↓α 0Pα∪ @@↓α@TP¬↓  0εQ(Dp∩	capβB! P*A!P *A!`λ*@ ⊂ ε@*PλA↓Pλ* 0 ¬@*@λ↓A↓0λ* 0 ¬@*@λα↓↓ λ)@ P ∧@*0λαA!λ)@ ` ∧*0λβ↓↓λ)! β* λ∧↓`λ)! β* λ∧APλ(@!  α*⊂λ¬A0λ(@!0 ↓@*⊂λ¬A0λ(!P @*λεA⊂λ(!P0(!`('@!p '@"_'@"_'B_&Aαλ%αAPλ"Q	qp⊂λβqβU`00↓U 0P↓U0`↓T@0p↓T 1↓T1λ↓T1⊂↓S`1_↓S@1 ↓S A ↓S 1(↓SA(↓SA(↓R`A(α∩`A(α∩`A(α∩`A(α∩@A(α∩@A(α∩@A(↓R@A α∩@A ↓R@A_α∩`1⊂α∩`1⊂↓R`A↓S0x↓S@h↓S 0`↓S@0P↓T0(α∀@t("∀βbλ∂π@q⊂*A↓⊂_*A↓  *A↓0_*A↓0 *↓↓@ *↓↓@ *↓↓@ *↓↓@ )A↓@ )A↓@ )A↓0 )A↓0_)↓↓0_)↓↓⊂_)βJ  (A
⊂ (A
⊂ (↓
 (↓
 'A	p 'A	p '↓) h"Q
⊃p⊂
βqβU`00↓U 0P↓U0`↓T@0p↓T 1↓TA↓T1λα∪`1_↓S@A_↓S A ↓S A ↓SA(↓SA α∩`A(α∩`A(α∩`A(α∩`A(α∩@A(α∩@A(α∩@A(↓R@A α∩@A ↓R@A_α∩`1_↓R`08α↓`4Xα↓ ⊂ A 4`↓A⊂P↓S0 A@⊂⊂↓S 0_A@⊂λ↓S@0⊂A@Eα↓@8TA⊂@V  8↓⊗  8V  0↓⊗ 0 ↓⊗!∃H∧⊗@eXα⊃(E⊂∂HCqpβD*P ∧↓
P ¬jP ¬@jP ¬@j@ ε↓
@ ε↓
@ ε↓
@ ε↓
0 ε↓
0 ε↓
0 ¬A
0 ¬↓
  ¬j  ∧j h)↓p_(A↓⊂_(A↓⊂ (A↓ _(A↓  (↓↓  (↓↓  (↓↓  (↓↓  'A↓  'A↓  β@)p ¬↓pλ'A↓  β)`(¬@``λ%β!_↓@L("Q
1P∞Hβphβ↓@∃(↓A  _↓∃ H@ %_↓α`5⊂↓β5λ↓C %λ↓β@∃↓C@∃↓C@∃↓C@∃↓TEα∀uλ¬∀!E⊂ε∃!%Hβ⊗`E`↓W5`↓S⊂x↓S⊂x↓S⊂x↓∩` p↓R` p↓∩` h↓R`0`↓∩@0λB@$P↓` 0↓∩@⊂0β⊃(E ∂πcapαεIP βA↓_&@A⊂ ∧@IPλ¬↓↓ λ&!0 ¬)@λ¬↓↓0λ%@A  ¬@)0λ¬A↓0λ%@!0 ¬@) λ¬A↓0λ+↓
` +↓
P *A
P *A
@ *↓
@ *↓
0 )A
0 )A
  )↓
  )↓
⊂(%D(T *GD!x∂!P0¬∪`Phα∪`@xS`@xS`@xS@@xS@@xS@@xS@@xS @xS @xS @xS @xS@xS@xS@xS@xR`@xR`@xR`@xR`@xR@@xR@@xR@@xR@@pR@@hR`0hR`0`S0PS  @↓∪@ (↓∀T("∃D∩_∂G@h¬B)`(λA	` 	I` 	)`(λ@)p λ)p π@Ip π@)p π)p π)p ε@)p(¬@* ¬@* ¬* ∧@* ∧@* ∧* β@J β@*(α@*⊂ α@*⊂ α*⊂ ↓@*⊂ ↓@*⊂ ↓*⊂ @*⊂0)↓
  )j ⊂)HT +K%qx∂↓@0¬Aa∀pαCP`α∪@@hαβ@$pαβ @pS@@hαβ ∀pαβPhS@@`αC∀pαα`⊂λαβ∀pαα`⊂λαα`∀pαα@⊂⊂αB@∀pαα@⊂_αα ∀pαα ⊂ αα∀pαα ⊂ αα∀pαα⊂(α↓`∀pαA@⊂0α↓`∀xα↓@⊂0α↓@∀xα↓ ⊂8α↓@∀xα↓ ⊂8α↓ ∀xα↓⊂@α↓$xα↓⊂@α↓∀xα`⊂Hα`∀xα@ Hα`∀xα@⊂Pα@∀xα ⊂Xα@∀xα ⊂Xα ∀xαCdxαC Dxαβ@4xαβ@4x↓C`$x↓∧%D∀("⊗∧b8∂πAhβαj`0¬A*p ε@Jp ε@*p(¬@+ ¬+(∧+⊂ β@+⊂ β+⊂(α+  ↓@+ (@+0(-A+@ .↓00-@⊂ ,@@ (,@ @ , P(+@ `(+! *@!⊂(*!0 )@!@()!` (@!p (Ap('↓↓`0%αa⊂`"Q∩λ⊃GC`εβ↓∀pαD DpαD $xα∧ ∀xα∧∀xαC@∃αβ %αB`%αB`∃λαα@∃λαB∃⊂α↓`∃⊂α↓@∃⊂αA∃_α`%_α@ %_α@ ∃ αUE α∃5_α∀`E_α∀`5⊂α∀@E⊂α∀@5λα∪!T("⊗CR∂πA⊃ )↓A  )a@ )A@ (@A@ (@!P (A@ (!@ (!0 '@!0 -↓+  ,A +A
` +↓
P *↓
0 )↓↓@λ(A!0λ(A↓@λ(↓↓@⊂'A↓Pλ'↓↓`λ&A↓`⊂&↓!P⊂&↓↓P_%A↓0(%¬(T 0Eαa⊂	α@_↓∀0_@ 4x↓↓@Dp↓A@Dh↓B4`α↓`4`↓B4Xαα4Xαα4Pαα4Pαα4Pαα4Pαα4Pα↓`0 R@@8↓A∀X↓A@@ R`0(@ 0_S  @` _S@@(α⊃(F⊂λ∧Cap↓↓ip_'@ip_'@i`_'i`_'iP_&@iP_&@`  &`⊂⊂↓@i@ βI@_β@i@_β@i0_∧↓	0_∧↓	0_∧↓	0_∧↓	 _∧↓	 _∧↓	 _∧↓	 _∧i _βA	 _β@i0⊂βi0⊂α@i@⊂↓@iP("Q1	∧B HαT0(S`0(↓S@0(α∪ 00α∪@0↓S4Xα∩`DPα∩@DPα∩@DPα∩`0XR`0PS HS  (↓S@d("→αQ8∂πA`8-@k0_-@k0_-k _-k _,@k⊂_,@j  ↓@j_↓@ ⊂_'@@` '`` &@a_&↓p_&a_%A↓_%A↓_%↓↓_%↓↓_%↓↓_%↓↓_%↓p_α)  β@`@λ%@`` α)0_α@ ⊂_↓@)@⊂α 0⊂↓@)` αAλT 2Dα!⊂	αe↓A ∀x↓A`∀p↓B∀h↓B ∀`αα∀Xαα∀Xα↓DX∧∩@DPα∩@DPα∩`4X↓B`∀X↓B@∀`↓α ∀h↓↓ 4pβ⊃(F0F$qpλA⊂⊂↓@k_↓↓⊂↓A
p_αJp_+@jp_+j`_+j`_(C*P_*@jP_*@jP_*@j@_*j@_*j@_)@j0_)@j0_)@j _)j _)j ⊂(@i@⊂↓@i0 ↓I  ↓@)0⊂↓@)@ "Qq 
εb Xα`%_↓@`⊂λ↓T@ 0α∀ 00α∀0@↓S`@8↓S`0@↓S@@@↓S@@@↓S @@↓S @@↓S @@↓S @@↓S @8↓S @8↓S@00α∪@0(@ 4x↓↓⊂λ↓T @⊂↓U`58↓U@50↓S @↓R`@0↓R@@0↓R` 0↓S↓∧("~αa@∂π@@8(@j⊂_(@j⊂_(j_(j_'@ip_'@ip_↓A)`_↓@@⊂'`⊂λβi` β@i`_∧iP ∧iP_∧@iP_∧@iP_∧@i@_∧@i@_∧@i@_∧@i@_∧i0_∧@`@λ%@a_α@)0_∧`Pλ%@a_α) _¬@0λ%@A0 "Q
⊂XεGC`@↓T Eλα∀@$8∧`D`@`$`@`4XA4XA4PA4PA4x↓S@4p↓S 4h↓S 4`↓A∀`↓A∀`↓A∀`↓@`∀h↓@∀p↓Q(FP	DDqpλK⊂ ,@k⊂⊂#B↓  )@ 0_) P⊂(@ `_(@ `_( `_( `_+@jp_+j`_+j`_*@jP_*@jP_*j@_*j@_)@j0_&@P_%A0_%↓0_%@@0_&↓(T 5Eαap∂↓uλ↓T 5λ↓T 5↓T5↓T4x↓S`4x↓S`00α∪@00A∀p↓A ⊂ ↓S@0 ADp↓@`⊂(α∪ 0_A@4h↓@ $hα∪ d`↓@`4`↓A4`↓A4`↓A4X↓A 0(R`0(↓A ∀X↓A 0(R`00↓↓∀P↓A`0_R` Hα⊃(F`¬ββap↓Aj_(j_(ip_'@ip_'@i`_'i`_'iP_&@iP_&@i@_&i@_&i0_%@i0_%@i _↓@) _↓@) _↓@) _↓@)0⊂↓)@_"Q
R ∪∧B _↓A`P8αS⊂⊂↓@`  ↓↓  ↓∩`⊂ ↓@⊂0↓@@⊂0↓R`⊂ α↓`0λA`4XA0@αα4PA@@αα4PA0H↓B 4x↓B 0H↓S`0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B4h↓B 0H↓A∀h↓B 0@↓A ∀h↓B 0@↓A ∀h↓B 0@↓A∀`↓B 0P↓`∀h↓α@ Xα⊃(FpεB!⊂↓@`p(&  _↓@@@⊂%@ @⊂↓ `_%@ @ β@i0λαa_% @ ∧i λαa⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_'a_&@a⊂_α)P_∧`Pλ&@a_α@)P_∧`@λ&a ⊂↓@)P⊂¬AλT 7DbQ⊂	α Uλ↓↓ $x↓A@4p↓B4h↓B 4`αα 4`↓B@DXαα@DXαα@DPαα@DPαα@DPαα@DPαα DPαα 4X↓B 4X↓B4`↓↓`4h↓↓4pβ⊃(GEC1⊂β`` '@  _↓@0_' @⊂@ `⊂' @_β@i`λα`p_&@ @_∧↓	Pλαa )a )a (@a (@a (@a (@a_(a (a_(`p_(↓P_'@`⊂⊂↓@ip_↓A	p_'@i`_'i`_'iP_&@i P"Q∞⊃⊂
εb @α↓ ∃↓@`⊂⊂↓∪` 0@ $p↓A@Dh↓B4`α↓`4`↓B4Xαα4Xαα4Pαα4Pαα4Pαα4Pαα4Pα↓`4Pα↓`4X↓A@DX↓A ⊂λ↓S  @ 4pα@5 ↓U5_↓T`5_↓T`5⊂↓T@4p¬Q(G⊂	¬α!⊂↓@`` &  _↓@@λ%@ @⊂@ P_%@ @_αA	0λα`P % @_βi λαip_'@i`_'i`_'iP_&@iP_&@i@_&@HT 9Dα!⊂	αeλ↓↓ ∃B∀x↓↓@4x↓↓@4p↓A@$p↓S`dx∧∀↓∃_β∃@D`B@4X↓B $Pαα $P↓B@∀PB`∀X↓↓`$hβQ(G εCC1X∧J _(@j⊂_(@j⊂_(j_(i h'@ip_'@ip_'i`_'i`_&@iP_&@iP_&`Pλ&`Pλ&`Pλ&`@λ&@@0λ'↓λT :EC↓⊂	↓@H↓∪ ⊂_↓↓`4`A 8↓R`⊂(↓↓`4XA08↓R@⊂(↓A@4PA 00↓S`08↓S`08↓S@08↓S@08↓S@08↓S@08↓S@ 8↓A∀p↓↓`0 S@ 8↓A∀p↓A @_S`  @@ _TP α⊃(G0	E"!⊂α↓p⊂&@ 0⊂αA	@λα@P %@ P⊂αA)0λα`p⊂% P_β@I λα@aλ'@a⊂λ'@a⊂λ'a⊂λ'a⊂λ'a⊂λ'aλ'aλ'Aλ'`pλ'``λ'@@@⊂(AλT ;GD↓⊂	↓@H↓↓`$h@` 8↓A@D`A 8↓A@DXA  8↓A@TXA08↓B$PA 00↓B $PA 00↓B@∀x↓A`0PS`08↓B@∀p↓A`0PS@08↓B@∀p↓A`0PS@08↓B ∀p↓A`0HS@08↓B∀p↓A@@@S@00α↓`∀x↓A⊂⊂↓A%λαA T("≡αQ8	∧@` αA	`⊂↓@@0λα)Pλα@`⊂λαi@λβ@`@ & p_α↓	0λβ@`P_%@ p_)@j0_)j _)j _%@@@_∧)  ↓@aλ%↓0_β@) _↓@ ⊂⊂β)0λ↓@ 0⊂α)@_αA(T <EαaX	↓@P↓∪ ⊂_↓α4`A @↓R`⊂(↓α4XA0@↓R@⊂(↓A`4PA 08↓S`0@↓S`0@↓S@0@↓S@0@↓S@0@↓S@0@↓S@08↓S@ @↓S@08↓S@00α∪`  αTP⊂↓U`58↓∃@4Xα↓`$Xα↓@4X↓A@4X↓↓@4`A $hαQ(GP	E"!⊂β@aλ(↓@Pλ'B ⊂'@` '!⊂λ+@*`λ*@*@λ)@* λ(Ipλ'! λ&@!0λ& ⊂ α@I@⊂↓α)0λβ↓I λ∧hT πD⊃p∂↓bu(αα`5(αβ%(αβ ∃(αβ ∃ αβ@∃ αβ@∃ αβ@∃ αβ@∃_αβ@∃_α∀`E_α∀@E⊂α∀@E⊂α∀ Eλα∀ Eλα∀Eα∀Eα∪`Dxα∪`Dxα∪@TPπ⊃(@λ⊂Hcqx,⊂⊂0↓p(/A+`λAPλ↓↓+@λ↓A+@λα↓0λαA λβ↓+⊂λβA+⊂λ∧↓λ∧A
pλ¬↓*`λ¬A*`λε↓
PλεA
@λπ↓*0λπA*0λλ↓
 λλA
⊂λ	↓*λ	A*λ
↓	pλ
A	`λ↓)PλA)Pλ↓	Ap%H	"λ"Q!p⊂λβqβU`00↓U 0P↓U0`↓T@0p↓T 1↓TA↓T1λα∪`1_↓S@A_↓S A ↓S A ↓SA(↓S@ B`⊂_α∩`@ B`⊂ α∩`@ εADXα↓↓P α∩`@ εADPα↓⊂XADPα↓⊂XADPα¬ 4Pα¬DPα¬4Pα∧`DX↓D`4X↓D@4Xα∧4`↓C`4`↓C@4h↓C4p↓B@5↓A E⊂βQ(@_∞πCqx
@+`⊂/KP_.↓@ -AK00- ⊂(,@@  ,@ 0 , @ , @ +@ P +@ P + ` *@ p *@ p *! *!()@!⊂()@!⊂()!0 (@!@ (@!@ (!P (!P '@!` 'A` 'A` &↓↓P0%α↓`"QB⊂∩πC`@
∀#%λ
∀ ⊃@T ⊃@T⊃@T⊃@Q`@HD∃_D∃⊂	∀B%⊂	∀@⊃T ⊃Q``⊂F∀XF∀XF∀XF∀X
∩C$P
⊃(@(∩	capβG*P ε↓*P ε↓
P ε↓
P ε↓
@ ε↓
@ ε↓
@ ε↓
@ ε↓
0 ε↓
0 ε↓
0 ε↓
0 ε↓
  ε↓
  ε↓
  ε↓
  ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
 ε↓
 ε↓
 ε↓
 ε↓	p ε↓	p ε↓	p ε↓	p ε↓	`(¬A) h↓C(T βλ$Ap∂αβ∃⊂αC`E⊂αD %_α∧ %_αD% α∧ ∃ αD∃ αD∃(α∧∃(αC@∃0α∃@U0αU`E8αVE@↓V%@U`∃(↓β`∃ D∃_D ∃⊂D %λD@∃D@$xD@4h↓∧@4`D@TX∩C∀("↓cQx∂G`P(εA	`@∧B	PPβαI@_α↓P α@I0⊂βA@_β@)0λ∧@`0_∧) λ¬` _∧@) λ¬@@ ⊂¬*`⊂@j`⊂@J`(+↓
` *A*P *A
P *A
@ *↓
@ *↓
0 )A
0 )A
  )↓
  )↓
⊂(%DλT ∧εCAp∂α!u@αVE@α⊗E8α∃!¬⊂↓@@@λα∀0 α`4p↓A @(↓S 00α↓@4`α↓@@0α∩`@8α↓@DXα↓@@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓@@8α∩@08α↓`4Pα↓@@0α∩`00α↓ DX↓A @(↓S0 α↓4p↓@@@λα∀↓∃⊂α∀@E⊂α∀@EλαRb∧("α#Qx∂πA⊂x,↓+ ,↓ %↓! βA)@ βA` &↓p αA	@ βAP &↓` αA	@ β↓P &↓` αA	@ β↓P %A` αA	0 β↓P %A` αA	0 β↓@ %AP αA	0 αA@ &`P αi@_αA0 &@`0 ↓A	P_↓A _'@`⊂@(Aj  )↓
  )↓
⊂(%DλT ¬πD!x∂D↓¬8α↓@5(αα 5 ↓C5_↓C@5⊂↓C`Eλ↓DEα∧ 4xα∧@4xα∧@4pα∧@Dpα∧@Dpα∧@Dpα∧ Dpα∧ Dpα∧ 4pα∧Dpα∧4x↓C`4x↓C@4x↓C@%↓β 5↓β5↓β%λ↓α@$PA@ PA`∀PA@ H↓↓@∀PA@ HA@∀PA@ @A`∀P∧α!∧P∧α↓∀P∧α↓∧("αc↓P	∧A⊂((@@P⊂'@`p⊂β)`_∧`Pλ&@a⊂_α@)@ ¬`0λ&a0_↓@)0 ¬@` λ%A↓0_↓)  ε`⊂λ%↓↓@ %↓↓@ %↓↓@_%↓↓@_%@a@_%@a0 &A⊂⊂↓@@λ&@@P_α` λ'↓A⊂_"Q↓A@IcaαV  ↓∃`⊂8↓∃@⊂@↓U ⊂H↓U⊂P↓T`⊂X↓T`⊂X↓T@⊂`↓T@⊂X↓T ⊂`↓T ⊂X↓T ⊂(α@ %A ⊂ ↓T⊂0∧∀⊂`↓T⊂`↓S`⊂hα∪`⊂hα∪`⊂hα∪`⊂hα∪@⊂hα∪@⊂hα∪@⊂hα∪@⊂`α∪  `α∪ ⊂λB`4h@ ⊂P↓S ⊂⊂B4`A  ↓S⊂0αS∀`R`∀XR`∀XR@∀PR@∀("β"q@∞∧@`(¬@)`@∧@)PP∧)@Xβ@)0_β@``λ%@!0λα@) λε@ @λ%!Pλ↓@+λ↓@+⊂λ@+⊂λ@+⊂λ@+⊂⊂,@K⊂⊂,@+⊂λ,@+⊂,K⊂+@Jp⊂+@Jp⊂+J`⊂+J`λ"Q↓aλ	GC`Xα∀`  T@ 0T  8T%↓∀%↓∀5α∀ E⊂αT`U↓@ Dx↓@`Dp↓A 4h↓A`$`α↓`$`↓B$Xαα$Xαα$Pαα ∀Pαα ∀Pαα$Pαα∀Pαα∀X↓A`$X↓A`∀`↓↓@∀h↓↓∀pαQ(@xπ∧α!⊂∧↓J_'@i`_&@i@ %A	0 %Bi  %↓	  %@i0_%@i@⊂&@I`⊂α@Ip0"Qα↓_
Ic``U ∃(U@e(↓↓ ∃ @@U_T@∃λT∀x↓∪@$pS $hS$`↓∩`$X↓∩`$X↓∩@4P↓R@4P↓R@4X↓∩`4Xα∪dh∧∪A∃λβUE0↓∃@%0↓∃@%↓`%⊂α⊃(Aλ
¬CA⊂↓@`p(&  _↓@@@⊂%@ @⊂↓ `_%@ @ β@i0λαa_% @ ∧i λαa⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_'a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&a⊂_&@A⊂_,k_+@jp_+@jp_+j`_+j`⊂"Qα!⊂
πC`X↓T` _↓∀@  ↓∀  (↓T00↓∪`08↓∪`08↓S@08α∪ @8α∪ @8α∪ 0@α∪@@α∪@@↓R`@@α∩`@@α∩b∧XααDPααDPααDPααDPαα4Pα↓`DP↓B4P↓A`DP↓A`4P↓A`$X↓↓@4X↓↓ 4X↓↓ $`↓`$hα⊃(A_εβB!⊂α@I`_'i`_'iP_&@iP_&i@_&i@_%@i0_β) _β@) _β) _α@)0⊂α)@("QαA0∧B (↓α Dp↓A`dp↓A@⊂⊂α∪@0(A$p↓A∀h↓@`$h↓@@∀hαS!∀`↓A D`↓A`4`↓A`4`↓A`DX↓B0(R`0@↓A ∀X↓B0(R`0H↓↓∀P↓B@0_R` `α⊃(A(
Fβapα@j⊂_(A
 _)j  )@j0 *j@_*↓
P_*@jP +j`_+↓
` *@ ⊂_*   )@@0_)@@_(@@`_(@p_'@A 'A _&@A0_&a0 %↓↓P_%a`_%B_"Qαa@Gα 8↓α@%↓B 5↓B 5↓B 5↓B 4x↓B 4x↓B 4x↓B 4x↓B 4p↓B 4p↓B 4p↓B 4p↓B 4hαα0 S 0H↓A∀hα↓`@ S @0α@`∀`β↓⊂_↓`∀`↓@@P(α∪4`↓R`4X↓R`4X↓R@4P↓R@4P↓⊃(A8
Eb!⊂Aa0⊂'a0_'a0_'a0_'a _&@a0_&@a _&@a _&@a⊂_&a ⊂&a⊂⊂&a⊂&`p⊂%@`p⊂%@``⊂%@`@⊂%@` _%`⊂_%↓λT ∧bB8∂α`∃ U∃(βT`00T@0λβ∀ 5↓S`Dpα∪@Dpα∪@Dpα∪`4x↓@ e↓A@∀x↓ tp↓∪ $hS$X↓∩`$X↓∩@4P↓R@4X↓R`D`β∪!∧p∧T u αU@58↓∀⊂0↓∀ ⊂ ↓∀@T("ε#↓P	∧@Q_'¬	Q &@Pλα@)0λβ@ Pλ%@ pλα@* ⊂αJ λα@J λα@J⊂⊂α@J⊂⊂α@J⊂βJ⊂βIp_βIp⊂β@Ip⊂β@i`_β@i`_β@i`⊂∧@HT 
¬"a`	βU ↓↓%_↓↓@%⊂↓↓`5λ↓α5↓BE↓α Dx↓B Dx↓B Dp↓B Dp↓B Dp↓B Dp↓B 4h↓B Dh↓B 4h↓B4hα↓@4`↓@@⊂ ↓S0_αS4`↓R`4X↓R`4X↓R@4P↓R@4P↓⊃(AXF"!⊂∧βj↓λ'D)` αA	P_∧i@_¬I@_¬i0_¬@i0_¬@i _¬@i _¬@i _¬@i _¬i _¬i _∧@i0⊂∧@I0_β@I@_αi`("QβA(DB (λ∪B∀hλS 0R`⊂8↓∩`⊂8↓∀`∃⊂↓∀@%⊂↓∀@%λ↓T %λ↓∀5↓T4x↓T$("π"a@	∧@@ ¬IPλ↓@A & @⊂∧↓	0λα@A(%@ @_¬I λα@a ⊂% P_¬@)p_ε)p_ε)`_ε)`_ε)`_¬@)`_¬@)`_¬)`_¬)`_∧@)p⊂∧*⊂α@J⊂0"Qβa@
	caλV@∃PV@∃PV ∃HV ∃HV∃@V∃ ∧∀@0⊂@`5↓A⊂(↓∪` 0A@$h↓A`⊂0↓S  8B$`↓A`⊂@↓∩`0@B4X↓B⊂@↓R@0@B4P↓B⊂@↓R@0@B4P↓B⊂8↓R` 8B$X↓↓`⊂8↓∪ 0A@$h↓↓ ⊂ ↓S@0⊂@`5βT`∃_T@∃⊂T@∃⊂T ∃λT ∀("πc⊃P
D@@ λ)Pλ↓a`λ& @_ε*⊂ ¬* _¬*  ∧*0_β@*0_β*0 α*@_↓@*@_↓*@(*A
P_*A
P * ⊂_)@  _) 0 (@ P_(@ P_( ` '@!_'!⊂ &@!0_&!@ ↓@)0λπ`0λ%"⊂ "Q∧↓X∞Ica_W ∃`W∃`W∃XV`∃XV`∃PV@∀pαα⊂0↓∪ ⊂_↓↓`⊂(α∪⊂ ↓↓@⊂0α∩`⊂(↓↓@⊂0αR`⊂ ↓A@⊂@↓∩@⊂(↓A@⊂@↓∩@⊂(↓A ⊂PS`00B@∀x↓A@⊂PS@08B ∀p↓A@⊂PS@00B ∀p↓A@⊂HS@00B∀p↓A ⊂@S@0(A`∀x↓A⊂(↓∀@⊂@`%_βU ∃(U ∃ U∃ U∃_T`∀("λ#1X	∧@Pλλ@I`λλA	Pλ	↓	Pλ	↓)@λ
@I@λ
@I0λ¬@!0λ%@! ⊂¬@)0λ¬A0λ%!0⊂¬) λ¬@!0λ%!0λ¬I ⊂∧@A⊂⊂%A_∧I _β↓ `_%α`⊂P%B  H&↓`@8&Ap "Q∧!λEα0@β∀↓∀x↓A@$pB@∀hS ∀`S ∀h@ dp↓↓$h@@D`R`∀XR@∀PR@ `R`⊂XR`08↓∪↓$pβ⊃(B_F#apπAλ↓@Jpλαj`λβJ`λβJPλβ@jPλβ@jPλβ@jPλβ↓
Pλβ↓
`λαA
`λαA	P_β@ @_&  _β@⊂ %@ @⊂∧↓)0λαa(%@ @_∧↓	 λαa % @_∧↓	p_∧↓	p_∧i`_∧↓	`_∧i`_∧i`_β@i`⊂∧iP_β@i`⊂β@I`_α@Ip⊂αJ("Q∧B_∩DB (∂∪Cth∂S  E@∀XA ⊃8R`⊂ F∃B`⊂`S`⊂`C∀xB` `S@⊂`↓α`∀pB`0XS@⊂X↓B@$pB@@PS@⊂H↓  HS@⊂@↓@ @↓∪@ (↓@`0(↓SA⊂(∧S`p0∧∀@Pα⊃(B(	EC1⊂¬↓* ⊂αJ⊂⊂βJ⊂β@ip⊂∧i`_∧↓	`⊂∧A	P_∧A	P_∧A	@_∧A	@_∧A	@_∧A	@_∧@i0 ∧↓	0 ∧i0λ@@p_%@ ⊂⊂βi0λ↓@@_% P(%) λ%) λ%I `%C	@X+(T ∪βb↓0	α e↓A ∀x↓∪@∀hS$X↓∩`$X↓∩@4X↓∩`4Xα∪Thβ∪@uβ∀@E_↓U% ↓∀`%α⊃(B8
πβA⊂α@!P '!@8&@!@H&!@_α@i@λ¬@A⊂&!0λ¬)0λ¬@!0λ%@!0λ¬@)0λ¬!@λ%A λ¬@) ⊂∧@!@λ%@!⊂λ¬@)0λ∧@! ⊂%@@pλ¬I@_α@!_&A  λαA)a'C* 8)J ⊂)J⊂_(@j⊂⊂(@J_(j⊂"Qλ↓@
λβpXβ∀` (↓T@⊂H↓∀ ⊂X↓∀⊂`↓T0X↓∪`@X↓S`@X↓T `↓W@5p↓W@E αA 5⊂↓↓  _↓T0@@ Dx↓B ⊂λα∪@0XαS 0`αS@`α∩`@hα∩`@hα∩`@`α∩@@hα∩@@h↓R@@h↓R@@`↓R@@`↓R@@X↓R`0X↓∩`0P↓∪0@↓∪ 0(↓S`d("_α⊃λ∂πAP_+ 0λ*@@0λ*@@λ)@`@λ)@@@λ)`@λ)@Pλ(@`@λ(@`@λ(`Pλ(`@λ(`@λ'@`@λ'@`0λ'@`0λ'@` λ'` λ'`⊂λ'`⊂λ'↓	`_'i`⊂&@i@λ@i0λ↓i λα@p⊂'@@`λ(@0⊂(AλT =BaQ⊂	`D`@`$`@`4XA4XA4PA4PA4x↓S@4p↓S 4h↓S 4`↓A∀`↓A∀`↓A∀`↓@`∀h↓@∀p↓Q(G`λβc1⊂¬j0λ↓j λαJ⊂λα@j⊂λα@jλα@jλα@j`_+jP_*@jP_*@j@_*j@_*j0_)@j0_)@j _)i@⊂αi0 ↓i  ↓@I0⊂↓@I@("Q∂QH∞π"00↓S`$p↓α dh↓α (↓∪ ⊂@B$`↓↓@ P↓∪⊂0C$X↓↓ ⊂h↓∩` (C 4X↓↓⊂p↓R@0_C@4P↓@@⊂x↓R@0⊂C`4Xαβ`4Xαβ`4Xα↓  @↓∪@ B$hα`⊂8↓∪⊂λα`⊂ ↓S⊂⊂α`T`@@D`@`4XA $XA $XA $XA ∀XA$XA∀X@`∀`↓Q(Gp
π↓⊃xπ@+⊂⊂,@K⊂_%¬	! ,↓
p_+@HT ?D#P(∞A@tp↓↓`$`↓α`∀XC@∀XC@∀PC`∀("α! 
∧``0'`@_&a_&a_%@a _%@a _%↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %@a _%@a _&a_&a_'`@_(↓HT _Cb1_	B∀xα∩@Pλ↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓RAt("B! 	D`P@' ` &A⊂_&!  %@A0 %@a  %@a  ,↓
p +A
` *@j@_)j⊂⊂∧)p⊂¬)`⊂¬IPp%D	!λ"Qε1⊂
π"00β∪@ (↓S ⊂@↓S⊂P↓R`@@α∩`@@α∩`@@α∪0@α∃`58↓U@50↓∃5β∃ 50↓U`58α⊗5@α⊗DX↓B@DPαB DPαB DPαα@4X↓α@DXB`4`B 4h↓A 5β⊃(C 
¬#A_ε@Jp⊂+jP *A
@λ@j0λ↓j ⊂↓j λ↓@j⊂λαjλα@ip⊂α@ipλβi`λβ@iPλ∧iPλ∧i@λ∧@i0λ¬i ⊂¬i! +j`_+j`_+j`_+j`_)αhT ~DBAh	@` H↓∪!Dh¬S!∀hS ∀hS ∀hS ∀hS ⊂_αS ⊂λ↓↓4h↓α$hB 5@↓V5@α⊗E@α∩`0Pα∩@@Pα∩@@Pα∩@0X↓R`⊂`↓R`⊂X↓S⊂P↓S ⊂@↓S@ (↓∀T("
B! ∂π!⊂((@@Pλ'@`pλ'`p_'@p &@`p &a⊂⊂&i0 %@i0_%↓0(%↓ λαi  @ p⊂%↓!_%↓!⊂_%↓!⊂_%↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %@a  %@a  %@a _&a⊂_&a_&@A_'@`_'@@@_(A(T ≠DBQh	@ ∀XλRb∧Xλ∩`⊂hR@⊂hR@⊂`R@⊂`U@∃(U ∃ T`%_T@%⊂↓∀ 5λ↓∀ %↓T5↓T4xα∪`Dxα∪`Dxα∪`E↓⊃(C@	¬βahβ↓I`⊂βIPλ∧@I@⊂¬I@λεI0⊂εI0⊂εI0⊂εI0_¬@I0 ∧@I@(β@I@0α@IP8↓)`@(↓ipH'@00&@ `0&A(%@A0_%@!P_%AP_%A`⊂%A`⊂%A`⊂%A`λ%@A@⊂&!@λ&@! λ'@`⊂(↓HT ≤DBAh	A@dp↓A$h↓A@$`↓B$Xαα4X↓B 4Pαα@4Pαα@4Pαα@4Pαα@DPαα@DPαα@DPαα@DX↓B@DX↓B T`↓BTh↓↓`⊂λα∪@0 @@Eα@`E@α⊗5@↓U`D`↓α 4Xαα$Xα↓`4X↓B$`B$hA 4pβ⊃(B@∪JA↓⊂∧*⊂λ(*λ'@)`λ&I20%	hT ∀Ie @¬@∧tX∪∪$pS`∃T∃λT@∀("
DrP∧∧C`λ4@- λ5-0λ6-P⊂%	i"8"Q¬28∃α↓0∪RDfh↓≠⊗XZ@⊗PZ ⊗@Q(B`βα!1(αI@ %@i _%I ⊂%I ⊂%i0_&↓	`⊂"Q¬P0∧BbP↓∩@D`↓S 4p↓∪@$p↓∪@$h↓S4Pα∩@$("B! 	E⊂%↓	 0%@ _%@0 %@P %@p %A⊂_%A  %A@ %A@ %A  %A⊂_%@p %@P %@0 %@ _%↓I  %HT ↔DBA_
∧%@α∃@e(↓@@%_α`%λα↓ $xα↓`$p↓B $`αα@$Pαβ$Pαβ$`αα@$p↓B $xα↓`%λα↓ %_α`%(↓@@%0β⊗EP↓⊃(CPαB @ @i (%↓) (%@hT ≥AA hα 4PαR@dPβ∩`0λS`∀xS`∀pS@∀hS ∀`R`∀("∂β1x
Fβ⊂⊂0Ap .A0 ,A
p +j@ )↓
 '↓	@ %↓	  &↓	` (↓
  *↓
`_+A⊂ -AP /A⊂ 1@HT ≡Dα2`⊂C@%@↓∃`58↓∃`%0↓U@%0↓∃ 5(↓∃ % ↓U% ↓∀`5_↓∀`%⊂↓T@%⊂↓∀ 5λ↓∀ %λ↓∀5↓∀$x↓S`$x↓∪@4p↓∪@$h↓S $h↓∪4`↓∪$X↓R`$X↓∩@4P↓∩@$("∂C1x
F⊂%↓	@ '↓
 )↓
@ +jp ,A0 .Ap 0A⊂ /AP -A⊂ +A
`_*↓
  (↓	` &↓	  %HT ∨Ebq(
B`∃(U ∃(U5 ↓U5 ↓R@08↓A`4`β@ 0λβSAu¬T@u_αT@uλα Eλ↓@`5↓A 5↓↓`$x↓α $xB`∀pC ∀("⊗a0p⊃λ λ%) λ%) λ%) λ%) λ%) λ%) λ%) λ↓↓)  ↓i ⊂α@i λβ↓	 λβ↓	 λβ↓	 λβ↓	 λβ↓	 λβ↓	 λβi λαA	 λαA	 λα@i λαi λαi λ↓@i λ↓i λ↓I λ@I ⊂%(T .α!RP⊂∀PR@∀PR@∀PR@∀PR@∀PR@⊂0↓∩@⊂ α∩@⊂⊂β∩A∀P∧R@`⊂R@@ R@ 0R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂8R@⊂0↓∩@⊂ α∩@⊂⊂β∩A∀P∧R@`⊂R@@ R@ 0T@∃⊂T@∃⊂T@∃⊂Q(Eh¬CE⊃x∧* λ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& P_& @ & ⊂8&α) H%↓`⊂λ%↓@λ%`Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& Pλ& P_& @ & ⊂8&α) H%↓`⊂λ%↓@λ%`Pλ& Pλ& Pλ& Pλ& Pλ&)@λ"Qb8∃αBI ∀XH`∀`H ∀`↓π`$h↓π $p↓ε`%↓¬`%λ↓D`5_αB`U(λV!∀("↔drP¬D"0λ+C*A_)↓↓p (@BP⊂'@C⊂⊂'C0⊂&@#pλ&$⊂λ%@$0λ%@$0λ%$Pλ"{avH2→-g 4YM⊗(9λλ4h&R=q`1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ
↔ 0[
⊗_wCfx7≥fλ1Y,'H:→>0v∂@ε*H$~}3b⊂↓∨38↓∨38␈␈␈␈xαx␈␈␈␈(αλ{β@¬αa@¬k␈0I@hZλm↑`⊂⊃@↓H_*↓@⊗⎇@2αm,pβP{↓∧ ε
nε(∨0αI@hM
`c↑`0∩↓LHP↓Pπ⎇@qXα2{β'@{αβp¬=Pε\␈0∧GPD
\≡`P∩↓J`'↓X␈⎇A1pαQ∨βI {ββ ∧Q
0π∨←0εF@?∃`∞g≡`p
tX~@↓h}⎇Aq_↓U_`βfP{∧α@βM6pπS∨0λE`@≠α ∂=↑a⊂{⊂H↓x6⎇B1↓:"Xβ}P{¬β0∧↑50λ∧∨0
F`HKl⊂∨↑a0∞↓≡@$@αn⎇Bq8αβFp∧∃⊂{εα@βM6pλ4?0F@H4X@⊃α≡aP↓π@Iα⊂-⎇C1Pα,r`∧,⊂{πα@βO$@λa←0∞F @s-⊃P≡ap
@↓≤HPα_N⎇CqhαH8∧C@{λβ`¬.N@	∃←0⊂G P≥E ∩V≡b⊂
@z⊂#@α(↑⎇D1Xα8π8∧←p{	∧`εh{⊂	Q←0∩F@<$@∪>↑b0λ@←hOα81⎇DqpαWOX∧yP{
¬`λ≤8Bo0∀K@↓8p↔}bP↔απλ`αp$=E2p∧∞≤¬fλ{↓Pα$,O/0⊗C  HX↔&>bp@↓β@pαp\=Eq8απ∞¬p_{αp∧∞≤
O∂0_E`@≤8∃3}c⊂@↓β@pαX=F18απ∞¬4λ{
αp∧∞≤
t/0~E`@≤8∃␈}c0@↓β@pα`0=Fq8απ∞¬MX{∞αp∧∞≤$o0≤E`@≤8⊗g}cPε@Iλ0αx'=G0h↓∩⊗¬ux{∂∧@ε2HpO0≡E`@≤8↔p}cp∩↓LP β∩=Gq8απ∞εε_{⊂β∧,`p
α←0 H``*+@λ}d⊂⊃@↓GλB@M=H2λαwNX⊃8{⊃∧`εclp2o0"H@`y`↓¬>d0∞@↓'x}⊂J=Hr β≤¬/x{∩∧`εfFpq∂0$E8_αα>dP@↓⊂x=@ '=I28β=P(J({∪βp¬L∀p↓%o0&K xq9`αa}dp∩@↓R(#@09=Ir_β⊂5 qh{∀βP¬∨z@↓tO0(I`|⊃∧↓>e⊂⊃@↓Gλ∃@@]=J1`αA:p↓∀({∃β0∧e{⊂α7o0*G`X↔U¬	}e0
@↓→8λPV=Jr`βpt↓28{⊗∧`εe*βO0,F`HEWε∨>eP∂@↓3β@`r=K1⊂↓LRε
`{↔α β→$#␈0.D@02H_j↑ep↔απλ`β⊂$⎇Krp∧∞≤ε'@{_α0β2H@
∪O00F@[εS}f⊂
p`hY=L1 ↓cg`↓ah{→β∧!&@βKO02E 8RHπ5}f0␈X x
=Lq0↓zup↓xλ{~β0∧↑50β}O04D(P!λ≠>fP	@k@q↓]=M1@α⊃|Xα⊃8{≠↓`α:	0∧2/06J p>4@λx>fp∞↓≡X9↓⊂==Mq0↓}↑α.8{≤αp∧⊂( ∧fo08E 8,=	k>g⊂
@vX:↓ 
=N1(↓u⊃(αF_{≥α⊂α|ε¬∀o0:F`H; @
;}g0␈`j↓(-=Nrλαy⊃⊂α[8{≡β ∧TE0¬GO0<E`@Q '}gP
@z(u@↓8
=O0x↓+!⊂¬⊃_{∨α β⊂} 
*o0>G P9t@∀j>gp@↓β@pαP!=Oph↓∩⊗¬%X|@β⊂u`{⎇xow{⎇x